We propose a Quantum Field Theory description of beams on a Mach–Zehnder interferometer and apply the method to describe Interaction Free Measurements, concluding that there is a change of momentum of the fields in IFMs. Analysing the factors involved in the probability of emission of low-energy photons, we argue that they do not yield meaningful contributions to the probabilities of the IFMs.

Como entender o “idealismo alemão”? Propõe-se aqui, a partir do choque entrealgumas posições sobre a filosofia kantiana (sobretudo em Schopenhauer e em Schelling),antes do que uma resposta, articular alguns problemas em torno do “idealismo alemão”,procurando pensar, assim, tanto a ambigüidade deste recorte como operador heurísticoquanto a abertura possível para um campo de questões sobre a atividade filosófica e o seu(não) fundamento.

Je me propose d'examiner les paragraphes 18 et 19 de la deuxième partie des Prolégomènes. Bien que ces deux paragraphes ne constituent pas l'intégralité de la déduction transcendantale des Prolégomènes, ils ont une fonction essentielle dans la mesure où ils exposent l’argument entier in nuce. Ces deux sections établissent de façon claire que la doctrine de l'idéalisme critique, présentée dans la première partie des Prolégomènes comme un idéalisme qui ne supprime pas « l'existence de la chose qui apparaît », joue (...) un rôle indispensable dans la déduction transcendantale, qui est présentée dans la deuxième partie à partir de la distinction entre jugement de perception et jugement d'expérience. (shrink)

SÍNTESE - Descartes ao compor o seu Discurso do Método nos apresenta os quatro preceitos do método que é o modo de bem conduzir a razão. Estes quatro preceitos, a evidência, a divisão, a condução em ordem dos pensamentos do simples ao complexo e por fim fazer as enumerações completas e revisões, são capazes, como instrumento, de levar seu espirita à conquista da verdade. Pois são regras fáceis que tomam impossível tomar o falso por verdadeiro. E são exatamente quatro porque (...) devem ser poucas as regras para de fato serem cumprídas. É neste sentido que este pequeno artigo desenvolve os quatro preceitos do Discurso do Método de Descartes. (shrink)

Como entender o “idealismo alemão”? Propõe-se aqui, a partir do choque entrealgumas posições sobre a filosofia kantiana (sobretudo em Schopenhauer e em Schelling),antes do que uma resposta, articular alguns problemas em torno do “idealismo alemão”,procurando pensar, assim, tanto a ambigüidade deste recorte como operador heurísticoquanto a abertura possível para um campo de questões sobre a atividade filosófica e o seu(não) fundamento.

O Prólogo da Fenomenologia do Espírito é um texto relevante e emblemático do sistema hegeliano. O Prólogo enquadra o pensamento filosófico de Hegel e constitui um trabalho propedêutico para a filosofia e para a ciência, pois enfatiza o início do saber. O enfoque da Fenomenologia do Espírito é “o saber em devir” ou “o espírito que aparece”. Como o título designa, é uma fenomenologia do espírito como experiência da consciência, uma preparação científica ou exercício propedêutico. O Prólogo é um texto (...) sistemático, porque concebe uma introdução e exposição do sistema da ciência de Hegel. Considerando estes aspectos e as repercussões sobre muitos outros pensadores, como Marx ou Schopenhauer, segue-se uma estratégia teórica e conceptual de interepretação e discussão do texto de Hegel tendo como objectivos i) demonstrar a relevância do Prólogo para a compreensão do sistema hegeliano e suas extensas influências, quer na filosofia alemã quer na filosofia moderna; ii) reconhecer a perenidade das teses apresentadas por Hegel no Prólogo, associando o seu carácter consistente e abrangente, próprio de um sistema filosófico relevante. (shrink)

O tema deste artigo é o imperativo existencial de Kierkegaard, o existente pessoal que se impõe ao existente social. Este tema é transversal na obra deste autor e é pertinente, pois é sempre necessário e profícuo refletir sobre a condição humana e os estádios da existência atemporais que se tem de seguir. Qual é o cabimento dos três estádios da existência de Kierkegaard para a condição do indivíduo enquanto simples existente pessoal? A resposta a esta pergunta é o objetivo deste (...) artigo. O objetivo é compreender a posição de Kierkegaard sobre a importância da assunção de uma existência pessoal, numa perspetiva atemporal. Este artigo é uma abordagem eminentemente teórica e concetual. A estratégia adotada incide na bibliografia de e sobre Kierkegaard e centra-se numa dimensão religiosa, o que justifica a sua preocupação com o indivíduo e, em particular, com o seu problema mais importante: a sua salvação. O resultado deste artigo é a demonstração da inevitabilidade da imitação de um modelo de existência, uma forma de reencontrar a unidade e a esperança de salvação, conduzindo à unidade interior e à verdadeira unidade antropológica, apenas possível com a fé. Conclui-se, com este artigo, que todos os seres humanos seguem um percurso escolhido e relativo de vida que os define e determina o que podem usufruir de uma existência inalienável e irrepetível. (shrink)

Resumo Através de uma abordagem metodológica centrada na reflexão dialética, o presente artigo tem como principal objetivo questionar uma suposta essencialidade natural ou cultural da natureza humana associada às experiências religiosas e ao sagrado. Este tema constitui uma aporia, pois a religiosidade do ser humano pode ser concebida como fenómeno cultural e natural, humano e sobre-humano, social e individual. Além da indagação sobre a naturalidade ou culturalidade da religião no ser humano, algumas perguntas colocadas no artigo, designadamente na problematização, visam (...) acirrar o pensamento crítico sobre esta temática em torno da essencialidade da natureza humana, tais como: a religiosidade é um fenómeno humano, natural e atemporal ou é social, cultural e temporal? É um fenómeno racional ou consciente enquanto alimento da esperança? Tendo em conta que a religiosidade está associada a determinados valores, será racional porque os fins das práticas respondem às convicções e aos ditos valores e porque o sentido da experiência religiosa está inscrito nas formas de linguagem e de conduta, bem como nos valores que as motivam? Palavras-chave : Experiência religiosa, Homo religiosus, natureza humana, religião cultural, religião naturalThrough a methodological approach centered on reflection and dialectics, the main purpose of this article is to inquiry a hypothetical natural or cultural essence of human nature, which is associated with religious experiences and the sacred. This theme is an aporia, because the religiosity of the human being can be conceived as a cultural and natural, human and superhuman, social and individual phenomenon. Besides the questioning about natural or cultural religion in human beings, some questions placed in the article, namely in the questioning part, aim to sharpen critical thinking on this subject around the essence of human nature, such as: Is the religiosity a human, natural and timeless phenomenon, or it is social, cultural and temporal? Is it a rational or conscious phenomenon to feed hope? Given that religiosity is associated with certain values, would it be rational because the purpose of the beliefs and practices satisfy all such values and because the meaning of religious experience is inscribed in the forms of language and conduct, as well as the values that motivate them? Keywords : Cultural religion; Homo religiosus, human nature, natural religion, religious experience. (shrink)

A filosofia crítica apoia-se na noção de representação, de ponta a ponta, como fundamento de sua investigação. Essa noção, contudo, acaba por tornar-se um problema na Dedução Transcendental da Crítica da razão pura, ponto de partida de pelo menos duas tradições distintas de apropriação da filosofia kantiana: a epistemologia e o idealism absoluto. Para compreender os momentos estruturais do problema representação, tal como se apresenta na Dedução Transcendental, recuamos para duas etapas da trajetória kantiana, de algum modo pressupostas pela primeira (...) Crítica: a Reflexão 1676 e a carta de Kant a Herz, de 21 fevereiro de 1772. A determinação da estrutura geral do problema permitirá, por fim, aferir os compromissos teóricos que assumem cada uma das duas tradições de leituras da Dedução Transcendental. (shrink)

Philosophers have long debated whether, if determinism is true, we should hold people morally responsible for their actions since in a deterministic universe, people are arguably not the ultimate source of their actions nor could they have done otherwise if initial conditions and the laws of nature are held fixed. To reveal how non-philosophers ordinarily reason about the conditions for free will, we conducted a cross-cultural and cross-linguistic survey (N = 5,268) spanning twenty countries and sixteen languages. Overall, participants tended (...) to ascribe moral responsibility whether the perpetrator lacked sourcehood or alternate possibilities. However, for American, European, and Middle Eastern participants, being the ultimate source of one’s actions promoted perceptions of free will and control as well as ascriptions of blame and punishment. By contrast, being the source of one’s actions was not particularly salient to Asian participants. Finally, across cultures, participants exhibiting greater cognitive reflection were more likely to view free will as incompatible with causal determinism. We discuss these findings in light of documented cultural differences in the tendency toward dispositional versus situational attributions. (shrink)

Dados da tradução brasileira de HEGEL, Georg Wilhelm Friedrich. Linhas Fundamentais da Filosofia do Direito ou Direito Natural e Ciência do Estado em Compêndio. Tradução, notas, glossário e bibliografia de Paulo Meneses et alli. Apresentações de Denis Lerrer Rosenfield e de Paulo Roberto Konzen. São Paulo: Loyola; São Leopoldo: UNISINOS, 2010.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

Emphasizing the predictive success and practical utility of psychological science is an admirable goal but it will require a substantive shift in how we design research. Applied research often assumes that findings are transferable to all practices, insensitive to variation between implementations. We describe efforts to quantify and close this practice-to-practice gap in education research.

There is increasing evidence that dynamic changes to chromatin, chromosomes and nuclear architecture are regulated by RNA signalling. Although the precise molecular mechanisms are not well understood, they appear to involve the differential recruitment of a hierarchy of generic chromatin modifying complexes and DNA methyltransferases to specific loci by RNAs during differentiation and development. A significant fraction of the genome-wide transcription of non-protein coding RNAs may be involved in this process, comprising a previously hidden layer of intermediary genetic information that (...) underpins developmental ontogeny and the differences between species, ecotypes and individuals. It is also evident that RNA editing is a primary means by which hardwired genetic information in animals can be altered by environmental signals, especially in the brain, indicating a dynamic RNA-mediated interplay between the transcriptome, the environment and the epigenome. Moreover, RNA-directed regulatory processes may also transfer epigenetic information not only within cells but also between cells and organ systems, as well as across generations. (shrink)

ENTREVISTA COM PROFISSIONAIS DA FILOSOFIA QUE ATUAM EM PROJETOS – BLOCO ICom: Lucas Dilacerda, Paulo Jorge Leandro, Paulo W. Lima, Raquel R. RochaPor: Antônio Alex Pereira de Sousa, Paulo Willame Araújo de Lima.

Karl R. Popper e Raymond Aron foram dois dos mais destacados pensadores do século XX, notadamente a partir da segunda guerra mundial. Sendo o primeiro um destacado epistemólogo e filósofo político e o segundo um filósofo social e político, entre suas mais diversas obras encontramos um denominador comum, a crítica epistemológica das ciências humanas. O presente trabalho tem por objetivo investigar os possíveis pontos de contato entre os dois filósofos, bem como suas divergências. Como metodologia de estudo, nos centraremos nos (...) textos produzidos pelos autores que tenham como tema principal a epistemologia das ciências humanas. Notadamente, encontraremos em ambos uma crítica ao historicismo como fundamento das humanidades. Palavras-chave: Karl Popper, Raymond Aron, Historicismo. (shrink)

The aim of this study was to analyze the association between physical activity and eating habits during the COVID-19 pandemic among Brazilian adults. A sample of 1,929 participants answered an online survey, however 1,874 were included in the analysis. The impact of the COVID-19 pandemic on eating habits was assessed inquiring about participants' intake of fruits, vegetables, fried foods, and sweets during the pandemic. Physical activity was assessed by asking participants about their weekly frequency, intensity and number of minutes/hours engaging (...) in structured physical activities per week. Participants were then stratified into categories based on moderate-to-vigorous intensity and into active or inactive. Increased sweets consumption was the most commonly reported change to eating habits, followed by an increase in the consumption of vegetables, fruits, and fried foods. Physical activity practice was related to lower consumption of fried foods and sweets. A cluster analysis revealed subjects with higher the level of physical activity was more likely to follow a healthy diet. Thus, physical activity was positively associated with healthier eating habits. Health authorities must recommend regular physical as a strategy to improve overall health during the COVID-19 pandemic. Future studies should address the physical activity interventions to improve health status during a pandemic. (shrink)

This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.

Preface R. Baine Harris Most Western scholars are not aware of the complexity, richness, and antiquity of Indian Philosophy. It is one of the oldest, ...

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

BackgroundThe outbreak of novel coronavirus disease 2019 has caused a global panic and public concern due to its mortality ratio and lack of treatments/vaccines. Reduced levels of physical activity have been reported during the outbreak, affecting the normal daily pattern.ObjectiveTo investigate the relationship of physical activity level with sleep quality and the effects of reduction physical activity levels on sleep quality.MethodsA Google form was used to address personal information, COVID-19 personal care, physical activity, and mental health of 1,907 adult volunteers. (...) Binary logistic regression was used to verify the association of physical activity parameters and sleep quality.ResultsInsufficient physical activity levels were a risk factor to have disturbed sleep pattern [OR: 1.28, 95% CI ]; however, when the BMI was added to the analysis, there was no more statistical difference [OR: 1.23, 95% CI ]. On the other hand, we found that the reduction of physical activity levels was associated with negative changes in sleep quality [OR: 1.73, 95% CI ], regardless all the confounders [OR: 1.30, 95% CI ], unless when feeling of depression was added in Model 6 [OR: 1.28, 95% CI ].ConclusionDisruption in daily physical activity routine, rather than physical activity level, negatively influences sleep quality during the COVID-19 quarantine. (shrink)

IntroductionTranscranial magnetic stimulation is a consolidated procedure for the treatment of depression, with several meta-analyses demonstrating its efficacy. Theta-burst stimulation is a modification of TMS with similar efficacy and shorter session duration. The geriatric population has many comorbidities and a high prevalence of depression, but few clinical trials are conducted specifically for this age group. TBS could be an option in this population, offering the advantages of few side effects and no pharmacological interactions. Therefore, our aim is to investigate the (...) efficacy of TBS in geriatric depression.Clinical trial registration[https://clinicaltrials.gov/ct2/], identifier [NCT04842929]. (shrink)

Se expone la relación entre el signo en tanto gnoseológica y semánticamente subordinado a la imaginación y el uso del lenguaje como medio para expresar las verdades filosóficas por parte de Spinoza. Al respecto, se revisan tres posturas: (i) la de David Savan, quien sostiene la inadecuación del lenguaje para expresar verdades filosóficas debido a la vinculación spinoziana entre las palabras y la imaginación; (ii) la de G.H.R. Parkinson, quien afirma que el uso del lenguaje no es inconsistente con la (...) expresión de las proposiciones filosóficas por parte de Spinoza, sino que, la mayor parte de lo propuesto en la Ética pertenece al conocimiento de razón y las nociones comunes y; (iii) la de Mogens Laerke, quien defiende la posibilidad de atribuir coherencia al uso del lenguaje, por un lado, y a la filosofía spinoziana, por el otro, a partir del recurso matemático de la demostración geométrica. Finalmente, se argumenta una interpretación propia con base en el análisis semiótico del signo en Spinoza, a partir de la cual (i) es posible atribuirle al signo una función dentro del entendimiento, sin detrimento de su capacidad gnoseológica y semántica para alcanzar verdades filosóficas y, por consiguiente, (ii) validar el uso del lenguaje como medio para expresar su filosofía. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Strong evidence shows that exposure and engagement with the natural world not only improve human wellbeing but can also help promote environmentally friendly behaviors. Human-nature relationships are at the heart of global agendas promoted by international organizations including the World Health Organization’s “One Health” and the United Nations “Ocean Decade.” These agendas demand collaborative multisector interdisciplinary efforts at local, national, and global levels. However, while global agendas highlight global goals for a sustainable world, developing science that directly addresses these agendas (...) from design through to delivery and outputs does not come without its challenges. In this article, we present the outcomes of international meetings between researchers, stakeholders, and policymakers from the United Kingdom and Brazil. We propose a model for interdisciplinary work under such global agendas, particularly the interface between One Health and the UN Ocean Decade and identify three priority research areas closely linked to each other: human-nature connection, conservation-human behavior, and implementation strategies. We also discuss a number of recommendations for moving forward. (shrink)

O estresse percebido afeta diretamente a sensação de bem-estar e sabe-se que o trabalho é uma das principais fontes de estresse. Neste artigo, objetivou-se analisar a percepção de estresse e bem-estar entre trabalhadores da cidade de Franca (SP) em comparação com o restante do Brasil. Participaram 291 trabalhadores, sendo 110 de Franca (Grupo Franca – GF) e 181 do restante do Brasil (Grupo Brasil – GB). Do total amostral, a maioria foi de mulheres (67,4%) em idade economicamente ativa (75,6%), sem (...) filhos (52,92%), com ensino superior ou pós-graduação (74%), trabalhando em comércio e serviços (61,5%) e em regime celetista (55%). Os participantes responderam, on-line, a dois instrumentos para avaliar a percepção de estresse e bem-estar. Utilizou-se o teste t e correlação de Pearson para análises das variáveis estudadas. Observou-se que o bem-estar indica significativa (p ≤ 0,001) correlação negativa com a percepção de estresse na amostra como um todo (GF r = -0,40 e GB r = -0,50) e, apesar de não terem sido identificadas diferenças significativas entre os grupos, a cidade de Franca não apresentou correlação significativa com os fatores estressores relativos à carga e ao ambiente de trabalho. Todos os demais fatores estressores (financeiro, social, cognições, família, saúde e relaxamento) apresentaram correlações maiores no GB do que no GF. Os dados sugerem que, apesar de o estresse afetar diretamente a sensação de bem-estar, a vivência fora dos grandes centros urbanos, em cidades menores, parece proporcionar uma relação mais adequada com o trabalho. (shrink)

Truth is one of the main concepts of Philosophy, some even consider it the most important of all (W. Künne). This concept is also a foundation for other philosophical concepts. Some of them even depend intrinsically on it, such as the concepts of belief (to believe in something is to believe this something is true), knowledge (if you know something then that something is true), fact (facts are what make our statements true), existence (true reality is the external world that (...) exists) and modality (there are propositions that can be true in all possible worlds), among many others. Truth is also a crucial concept for other domains. Science is said to be the search for the truth of the Natural World and the good life is said to be the pursuit of the good (Aristotle). If one considers that the good and the just are objects of knowledge (R. Campbell), then, there could be no good or justice without truth, insofar as knowledge needs truth. Also, our confidence in the robustness of western political and social institutions has always rested on truth. Unfortunately, this basis, which is the foundation of trust and, therefore, of the robustness of our institutions, is being eroded by external forces, deniers and nihilists, by undermining the concept of Truth, endangering in that way the democratic model (H. Frankfurt). The troubled events we have recently experienced – the raise of populisms, conspiracy theories, pandemic skepticism, the conflict in Ukraine not only in the battleground but also in the info space – could, to some extent, make us question whether, in fact, there is still any theoretical interest in “truth”. As several authors have noted, it seems that today we live in a society of “post-truth” (A. Szakolczai) or “veritophobia” (A. Goldman), where lies are tolerated and facts ignored. Also, for this reason, understanding what truth is by reflecting on its nature and function, from the most sophisticated conceptual schemes to its most everyday uses, seems to be a philosophical task of the utmost importance. This is why the Revista Portuguesa de Filosofia has decided to dedicate this special issue to the subject of truth. (shrink)

Em recente artigo, o ministro do STF Luís Roberto Barroso defendeu o exercício de um papel representativo pelo Poder Judiciário, como forma de dar voz a uma vontade da maioria não captada pelas regras de direito positivo devido às distorções dos mecanismos institucionais fundados no voto. O presente trabalho tem como objetivo investigar se essa reivindicação é compatível com a noção de Estado Democrático de Direito levando em consideração tanto a possibilidade de se aferir a vontade empírica da maioria (...) à parte dos mecanismos institucionais fundados no voto quanto a função do Judiciário nesse tipo de sociedade. Por fim, sugere a possibilidade de reconhecer um papel representativo ao Judiciário fundado naquilo que se pode argumentar ser o interesse dos cidadãos de um Estado Democrático de Direito enquanto tais. (shrink)

Embora influente na recepção de Heidegger nos Estados Unidos da América, o trabalho de Dreyfus foi repetidas vezes criticado por desenvolver uma leitura distorcida e seletiva da fenomenologia de Heidegger. Nesse artigo, mostramos que, independentemente de seus desenvolvimentos posteriores em ciência cognitiva, sua crítica inicial à IA simbólica se apoia em duas teses que podem ser localizadas em Ser e Tempo, a saber, de que nosso senso de situação é pragmático-holístico, e intrinsecamente relevante. Após uma introdução geral, reconstruímos, numa primeira (...) seção, em linhas gerais o projeto da IA simbólica e o tom geral da crítica de Dreyfus; numa segunda seção, reconstruímos a crítica de Dreyfus a SAM, de R. Schank; na terceira seção, indicamos como as duas teses podem ser localizadas em Ser e Tempo; concluímos apontando questões pendentes. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)